Contribution de l'ingénierie dirigée par les modèles à la conception de modèles grande culture
نویسنده
چکیده
class ExecutableModel extends Model { op void executeOneStep(); @gmf.affixed(foo="bar") val Input[*] inputs; @gmf.affixed(foo="bar") val Output[*] outputs; val Parameter[*]#belongsTo parameters; val StateVariable[*] stateVariables; } Code 4.1 : Extrait du fichier emfatic pour la génération de notre éditeur de modèles composites
منابع مشابه
Vers l'Exécutabilité des Modèles de Procédés Logiciels
Résumé. L'un des enjeux majeurs de l'ingénierie dirigée par les modèles est d'augmenter la productivité des logiciels à travers la manipulation de modèles dès les premières phases de développement. La finalité étant de pouvoir utiliser les modèles non seulement pour des fins de compréhension et de description mais aussi de production. Les modèles de procédés de développement logiciels sont au c...
متن کاملVers des lignes de produits flexibles. Apports de l'ingénierie dirigée par les modèles à la dérivation de produits
To address current software engineering challenges resulting from the diversity of software environnements and usages, Software Product Lines (SPL) promise greater productivity by proposing to develop applications based on a set of common assets thus fostering reuse. However, software product line derivation fails to meet efficiently unforeseen, customer-specific, requirements. In this paper, w...
متن کاملModel Driven Engineering Benefits for High Level Synthesis
This report presents the benefits of using the Model Driven Engineering (MDE) methodology to solve major difficulties encountered by usual high level synthesis (HLS) flows. These advantages are highlighted in a design space exploration environment we propose. MDE is the skeleton of our HLS flow dedicated to intensive signal processing to demonstrate the expected benefits of these software techn...
متن کاملModel-driven execution of service-based applications
The design, development and execution of dynamic applications is challenging since their execution context is unknown at design-time. In this paper we present a modeldriven approach where a service-based application (its goal and properties) is defined at design-time by several models. At runtime, these models are used by our execution platform, the APplication Abstract Machine (APAM), in order...
متن کاملUn langage de contexte de preuve pour la validation formelle de modèles logiciels
Résumé. Pour améliorer les pratiques dans le domaine de la validation formelle de modèles, nous explorons un axe de recherche dans lequel nous formalisons la notion de « contexte de preuve » intégrant la description du comportement de l’environnement interagissant avec le modèle et les propriétés à vérifier dans ce contexte. L'article présente le langage CDL (Context Description Language) propo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013